Revalidation of Obidosus Roewer, 1913 and description of two new cave-dwelling species of Protimesius Roewer, 1913 from Brazil (Opiliones: Stygnidae)

The penial and tarsal morphology of Protimesius is studied and morphological data support the revalidation of Obidosus with the subsequent new combinations (20 species) and restored combinations (two species). Emended diagnoses are proposed for both genera, and two cave-dwelling new species of Protimesius are described and illustrated: P. lucifer sp. nov. (Pará state) and P. orcus sp. nov. (Ceará state). An identification key to the species of Protimesius and distributional maps of Obidosus and Protimesius are provided.

http://www.zoobank.org/urn:lsid:zoobank.org:pub:C4E9C04D-A646-41E4-AE59-B6D0C951DEAB     

梯度网络平稳点集合的Hopfield稳定性与吸引域

给出梯度神经网络模型的电路实现 ,证明了网络平稳点集合的全局 Hopfield稳定性。对各个平稳点吸引域的几何估计得到了相关结果 ,这为网络初始输入的数量与方向判定提供了基本的量度参数准则。     

顶凌覆盖节水增产技术研究

通过1998年、2000年的试验研究，系统分析了顶凌覆盖技术在高寒区节水增温保温、增产增收的机理及其应用效果。提出该技术可以缓解低温干旱特别是春旱对农业生产的困扰，是一项可以抗旱保春播增产增收的实用技术，在高寒地区具有较高的推广价值。     

三峡库区移民区曲溪小流域能源利用分析

通过分析小流域的能源资源现状、不同时期能源需求变化对生态环境的影响、秸秆利用对坡耕地生产力的影响、经济发展对生物质能需求影响、节能及替代能源对生物质能需求的影响等,提出了解决能源问题,促进生态环境持续改善的对策.     

浅析西部地区文献信息资源的重组

阐述了西部地区文献信息资源重组应遵循的原则以及文献信息资源重组的条件，并提出了文献信息资源重组的措施。     

欠发达地区实施跨越式技术创新的探讨

文章简述了跨越式技术创新及其在国内外的普遍现象，指明了欠发达的山西实施跨越式技术创新的有利条件及其应采取的措施。     

A data model for regions with indeterminate boundaries

Most of spatial phenomena like natural vegetation units and land use areas constantly change over time and have uncertainty spatial extents. Till now, a considerable number of data models have been proposed for spatial objects with sharp boundaries as well as with indeterminate boundaries. However, they mainly concern space and time or space and fuzziness and not yet integrate them into a single unified framework. This paper introduces a formal definition of the conceptual fuzzy spatiotemporal data model, called FSTDM for fuzzy regions based on fuzzy set theory. We also contribute a method of manipulating queries with the presence of both temporal predicate and fuzzy spatial predicate in the condition clause efficiently. We then implement a prototype system.Through the experimental results, we prove that our work can be used to build a specialized system such as GIS, spatial database, and so on.     

入世后西部地区如何抑制第二次人才快速外流

加入WTO后，跨国公司和东部企业为争夺人才竞相出台了优惠的政策，导致了西部地区继改革开放之后第二次人才快速外流。西部地区必须从政府宏观和企业微观两个层面着手，采取一系列积极有效的政策措施，来抑制人才的快速外流。     

两种边界控制下的线性和半线性分布参数系统的能控性

根据系统分解的方法,讨论在2种边界控制下,通过对能控对域的研究来分析线性和半线性分布参数系统的能控性.     

仿真模型中复杂三维实体集的选择与交互技术研究

鉴于目前商用图形软件包对于复杂模型中三维实体集显示与选择的局限性，本文提出了一种新的判断点与面域从属关系的方法，此方法借鉴计算机图形学中扫描转换填充算法的射线法，并在此基础上对射线法进行扩充和完善，文章同时对三维复杂实体群的交互手段和技术进行了研究，在解决实际问题中取得了良好的效果。